Skip to main content

FindInstance

FindInstance[expr,vars] finds an instance of vars that makes the statement expr be True. 

FindInstance[expr,vars,dom] finds an instance over the domain dom. Common choices of dom are Complexes, Reals, Integers, and Booleans.

FindInstance[expr,vars,dom,n] finds n instances.

Please visit the official Wolfram Language Reference for more details and examples on core symbols.